π-calculus相关论文
Declassification and endorsement can efficiently improve the usability of mobile applications,some declassify and endors......
Dynamic architecture of multi-agent systems (MAS) is important for critical systems. As the existing formal specificatio......
本文通过对荣华二采区10...
自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统。针对当前各种自治系统架构描述方......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
An enterprise can improve its adaptability in the changing market by means of workflow technologies. In the build time, ......
Symbolic bisimulation avoids the infinite branching problem caused by instantiating input names with all names in the st......
Reflection mechanism for reuse software architecture (RMRSA) divides a software architecture into base-level architectur......
π-演算是以进程间移动通信为研究重点的并发理论，本文扼要叙述π-演算的基本概念，论述了如何用π-演算描述和验证安全协议，具体以Sta......
<正> 1 引言并发现象和并发系统在生活中随处可见:网络通信、移动电话系统、银行的信息流动、超市的物流系统都是典型的并发系统。......
为适应当前云计算环境下客户的个性化要求，一种新的智能流程的概念应运而生。首先提出了智能流程平台架构，描述了智能流程生成模块、......
<正> 1 前言当前的各种应用系统,无论是其拓扑结构,还是其运行平台,以及其随后的进化过程,都具有开放性。一个开放系统可以用如下......
从构件组装研究背景出发,针对软件应对复杂多变的业务需求时的不足,提出了一种基于逻辑推理的构件行为片段提取与重组算法。其主要......
工作流模型缺乏一种支持过程定义以及过程分析的形式化数学模型，而π演算是一种移动进程代数运算，可用于对并发和动态变化的系统进行......
本文的主要工作是利用可移动进程的形式化模型л演算为工具，考虑系统的移动性（Mobility），将系统安全属性的刻画归结为特定系统进程等价......
针对π演算难于对时间相关移动并发系统进行建模和推演,提出了一种采用扩展π演算p-π对时间相关移动并发系统进行形式化建模与推......
利用π演算对云服务流程进行形式化描述,基于描述结果给出一种针对用户越权访问和服务不完整两种安全性问题的检测方法.基于云环境......
分析了制造系统与制造过程之间的关系;论证了从过程的角度对制造进行建模更恰当;结合Agent和π演算的特点,给出Agent制造系统描述......
在分析了基于Web的网络考试系统需求的基础上，针对其具有多进程并发通讯的特点，采用π-演算对系统进行结构和功能的描述；在简单介绍π......
首先应用π演算和Petri网的相关理论,建立了嵌入式联锁控制器软件体系结构抽象模型ISAM;然后对ISAM模型的动态演化、一致性和死锁......
采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征......
为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协......
为弥补π演算的固有缺陷,提出一种将π演算映射为Petri网语义的方法.该方法将π演算分为基本单元、顺序、并发、选择和递归等几种......
采用π演算对电子市场框架及成员进行定义,动态地描述了市场中agent的行为,从动态的观点来讨论以agent为中介的电子市场.提出了一......
结合递阶动态矩阵预测控制和多智能体技术,提出了一种多智能体多变量动态矩阵控制算法.在该算法中,控制对象的每个输出变量作为一......
以SKI演算作为Combinator演算族的代表，通过形式化的手段给出了SKI演算的π演算语义；通过一个实例验证了所论方法的正确性．所给出的转......
802.11MAC层的切换过程是其协议的一个重要组成部分,它影响着网络的动态拓扑结构.利用π演算理论来进行分析,可以严格而规范地描述......
证明互模拟同余通常冗长且易出错．双代数为解决该问题提供统一的框架：若行为函子保持弱回拉，共代数范畴到基范畴的忘却函子有右伴函子......
多实例工作流模式是一类重要的工作流模式。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。对π演算进行了研......
为了形式化地定义BPEL和BPEL4People的语义，提出了一个π演算的变种——πit演算。相对于传统的π演算，πit演算可以描述中断事件和......
并发计算模型是计算机科学研究的重要问题之一.π演算作为一个并发计算模型,是一种重要的移动进程演算,其中的进程通过发送通信链......
为了形式化描述复杂的长事务处理过程，在简要介绍Web服务长事务基本概念和π演算语法及语义的基础上，提出了一种扩展的π演算模型，该......
BPEL是实现SOA组合服务和服务编制的重要技术。重点论述了π演算的语法定义和Π演算建模Web服务的算法,然后以一个典型的银行借贷......
